/**
 * @file igs_timer.h
 * @author Sheng Wen Peng
 * @date 25 Nov 2014
 * @brief 
 */


#ifndef IGS_TIMER_H
#define IGS_TIMER_H
#include "stm32f2xx.h"
#include <stdint.h>
#include "igs_task.h"

void igs_timer_init(void);
uint32_t igs_get_time_tick(void);

#endif
